Representation of Coloured Petri Net in Abductive Logic Programming (CPN-LP) and Its Application in Modeling an Intelligent Agent
نویسنده
چکیده
Coloured Petri net (CPN) has been widely adopted in various areas in Computer Science, including protocol specification, performance evaluation, distributed systems and coordination in multi-agent systems. It provides a graphical representation of a system and has a strong mathematical foundation for proving various properties. This paper proposes a novel representation of a coloured Petri net using an extension of logic programming called abductive logic programming (ALP), which is purely based on classical logic. Under such a representation, an implementation of a CPN could be directly obtained, in which every inference step could be treated as a kind of equivalence preserved transformation. We would describe how to implement a CPN under such a representation using common meta-programming techniques in Prolog. We call our framework CPN-LP and illustrate its applications in modeling an intelligent agent. Keywords—Abduction, coloured Petri net, intelligent agent, logic programming.
منابع مشابه
An Application of an Expressive Coloured Petri Nets Modeling Methodology to a Business to Business Environment
The dynamic nature of cooperative agent environment makes considerably more difficult the task of modeling permanent interactions among agents. This problem becomes rather hard if more than two agents are involved. So far, traditional approaches deal with the problem of modeling interactions in static conditions and commonly with only two agents participating concurrently in cooperative tasks. ...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملAn Application of Coloured Petri Nets to Business Process Reengineering
An approach to business process reengineering (BPR) is presented and illustrated in the paper. The approach is based on Coloured Petri Nets (CPN) as a general tool for modeling, simulation and analysis of system processes. In realization of a BPR project there are two crucial phases in which the AS-IS model and the TO-BE model are created. This implies the use of the appropriate techniques for ...
متن کاملPetri Nets and Fuzzy Sets in Hybrid Controllers Synthesis: The Discrete-Event Aspect
This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...
متن کاملColored Decision Process Petri Nets: Modeling, Analysis and Stability
In this paper we introduce a new modeling paradigm for developing a decision process representation called the Colored Decision Process Petri Net (CDPPN). It extends the Colored Petri Net (CPN) theoretic approach including Markov decision processes. CPNs are used for process representation taking advantage of the formal semantic and the graphical display. A Markov decision process is utilized a...
متن کامل